Nuprl Definition : rng_car 11,40
rng_car(r) == r.1 
latex

Definitionst.1

origin